Big Huge Thesaurus

mathematical logic

noun

• symbolic logic
• formal logic
• logic
• logical system
• system of logic